Type conversion - PDFSEARCH.IO - Document Search Engine

Type conversion
Results: 260

#	Item
11	SOLID OXIDE PLANAR AND TUBULAR SOLID OXIDE FUEL CELLS Dynamic Simulation Approach Modular Approach: Individual simulation modules for each fuel cell type Add to Reading List Source URL: www.nfcrc.uci.edu Language: English - Date: 2015-01-15 16:48:45 Fuel cells Hydrogen technologies Energy conversion Hydrogen economy Solid oxide fuel cell Industrial gases Chemical reaction Gas Methane Catalysis Integrated Gasification Fuel Cell Cycle
12	DCMMSData Model (Database Level) Copyright © DORSCH Consult, NGWA Copyright © DC Water and Environment DCMMS Landmark Add to Reading List Source URL: dcmms.sourceforge.net. Language: English - Date: 2009-02-25 15:11:29 Piping Plumbing Bathrooms Building engineering Type theory Pipe DN Piping and plumbing fitting Type conversion Subtyping
13	All of Johnson Flat Glass Films reject 99% of harmful UV rays. FILM TYPE NEUTRAL, NON-FADING SPUTTERED FILMS Add to Reading List Source URL: robson.net.au Language: English - Date: 2015-04-24 01:52:45 Energy conversion Low-energy building Windows Energy conservation in the United States National Fenestration Rating Council Solar gain Solar energy Window film Window
14	Union Types for Semistructured Data Peter Buneman Benjamin Pierce University of Pennsylvania Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:14 Data types Type theory Type system Subtyping Union type Tagged union Pattern matching Monad ML Product type Type conversion Record
15	Thermo Technologies Commissioned the First Phase of The Pentagon’s Solar Water Heating System Pentagon system is the largest solar thermal system of this type in North America with a rated peak thermal output of 75.6 k Add to Reading List Source URL: thermotechs.com Language: English - Date: 2010-09-29 19:49:35 Renewable energy Heating ventilating and air conditioning Energy conversion Solar thermal energy Alternative energy Solar water heating Thermo Heat pipe Energy technology
16	West Deptford Township 2014 RECYCLING TONNAGE REPORT Section 1 Type or print the following information: Name of business/institution: Address: Add to Reading List Source URL: www.westdeptford.com Language: English - Date: 2015-02-03 14:42:00 Water conservation Recycling by material Recycling Energy conversion Scrap Resource recovery Recycling in the United States
17	Type of event Plataforma Solar de Almería EVENT NAME Add to Reading List Source URL: www.stage-ste.eu Language: English - Date: 2014-05-06 06:40:21 Energy conversion Renewable energy Solar thermal energy Solar power in Spain Alternative energy Plataforma Solar de Almera Concentrated solar power Solar power Solar energy Solar desalination SolarPACES Index of solar energy articles
18	Paper Formatting Instructions - Mo Add to Reading List Source URL: www.rertr.anl.gov Language: English - Date: 2015-12-08 11:30:34 Nuclear technology Nuclear physics Energy technology Nuclear reprocessing Nuclear reactors Energy conversion Radioactive waste Miniature neutron source reactor SLOWPOKE reactor Nuclear fuel Pool-type reactor Research reactor
19	On the Decidability of Conversion in Type Theory Andreas Abel, Thierry Coquand, and Bassel Mannaa Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden {andreas.abel,thierry.coquand Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2016-05-17 15:07:26
20	Tracing ambiguity in GADT type inference Jacques Garrigue∗ Didier R´emy† Abstract Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-09-06 08:22:15 Type theory Data types Functional languages Type systems Object-oriented programming languages OCaml Type inference Generalized algebraic data type Unification ML HindleyMilner type system Type conversion

UPDATE